workaround for linux chrome v34 on some pcs
Merge branch 'master' of github.com:espruino/EspruinoWebIDE