Bump vanilla-source to 3.12-rc7