let them know to run make to produce hint files