compensate for gmp/configure sometimes not being executable