I rearranged the packages so that Main will be in the default package
(according to our instructions).