Use more sensible version numbering