Remove (now redundant) Libraries.hs