Fix sb-mpfr-tests system and whitespace clean up.