fixed filename to make tests/build,html work