Actually cut version for SourceForge

Didn't work last time because I didn't set the versions correctly. Now
we do it with mvm versions:set.