Use correct slash for Linux directory used in Makefile.