MPS installer fixes nicer CBMC workaround