[Bug 1427000] c2hs does not like gcc7 __float128