Support --build-dir commandline flag for {run,install}_mandoline.py