Fix some files which went missing