Similar to robotpy/robotpy-build#149 , record this information in a .json file and use that to set the flag automatically. For now, will have to set it manually.