This was changed so you can specify `DEV_VERIFIED=false` on the command line and have override the default.