try again to fix dev-build.py on OS X