Add some missing files from 3.10