A small change to the compilation options for Linux.