Add a few missing files