Add options to buildall.py