GNUmakefile: ws changes