[Hackage] #863: Can't pass extra arguments to c2hs