add -fno-hxt flag