fixing files for gh-pages push