copy-dev-bundle-from-jenkins: don't overwrite!