New --autosave option for better toolchain integration. #837