support `file://` urls in push.js