use patch numbers, fixes #2