Remove stray dead code
Take into account that misc/install-gnu-gcc-osx has changed names
Fix recently introduced bug in string->number (a bignum addition was mistakenly replaced by a fixnum addition)