Minor change of compiler options