fix version mangling; thanks tony mancill for the pointers