Add missing MainLib.hs