extra-source-files cabal setting is missing some files

[quchen]

e.g. util/*

Also the multi executable doesn't have the same name as the one generated by the makefile. The .cabal file should probably be gardened a bit.