Fixes for android.
Move MainLib.hs to src/