change to Makefile.dist for Linux