Add more imports for c2hs