more lenient Version.scala