Fix crash when machine options are bad