Fix a few missing files