More fixes to Makefile for gh-pages on Linux