add a Setup.hs to make gentoo happy