"./dev.py dev" is a script for build automation