Rename files in $version/src to avoid conflict with $version+1/src