Improved build_auto.py doctoring