[Misc] Update version after 4.5.1 release (should have been done by the release script but something is amiss)