reinserted dirty hack to make translations.js in index.html