Makefile target should depend on all .idr files
Fix "grow whenever you turn" bug