more housekeeping
This is the good make file