Manually applied https://github.com/ajaxorg/ace/pull/2137 which hopefully fixes #396 (not sure, but would be nice).