Fix warning about other files not included