Fix a file dependency

5 jobs for main in 9 minutes and 26 seconds (queued for 11 seconds)