Linux makefile and documentation fix