check does not use overrideGhcUserOptions again.

- workaround for #376
- logically reverting ec1b115cc1d3d2341201a97b0b9f2dda5da9f660