add workaround for hint "set languageExtensions" bug
add workaround for hint "set languageExtensions" bug

Ignore-this: fdbe2a92aac2d7b2d85e41da7c78d893

darcs-hash:20130321043443-5756e-e926fd85cda259b62bae8a2ccce854696650abe6

gwern/mueval,bitemyapp/mueval