fix include file names in Xacto2d_c.hs