patch ace.js to work around #6

TODO: make a patch and send a pull request