[why3find] suppress makefile command and resources