[Hackage] #752: sdist not setting the executable bit on the configure script when Build-Type is Configure