fix dev-build.py on OS X 10.6 (python 2.6 and different libc)