To make the compilation on different machines a little bit easier, the file 'config.mk' was replace by the file 'config.mk.linux-gnu' and 'config.mk.osf1'. A change in the Makefile was also done to select the right config.mk file automatically.