Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327