remove opera.extension.getFile for bad compatibility