[Hackage] #188: file extensions