Update patches for new version.jl overhaul