Allow the user to set GHCi args too.