make everything compile with __float128 as Scalar again
fix the headercheck