push to newest version, pre lab4 integration