Fix pubseed and ITEP version number handling bug