cargo plugin version in properties