Pushing the RC version of vm5K