Make pgxsmake.sh emit the compilation messages in English.