Misc changes to make perseus exercises a reality

Auditors: eater, cbhl