uncomment two C header files in cabal. Uncertain yet.