rename to fix missing file on gh-pages