push.js: add file:// urls support