fix 'opendolphin.js' generation