Manually patch files where Tycho does not change the version for us.