Some fixes were necessary to ensure that the reduced mscorlib, etc., works