use appropriate option names for older GHC versions