Rename 'dev-tools.js'