Two minor fixes for some Linux compilers