remove stuff not needed by gh-pages