run_piglit: fix version detection for larger version numbers