Makefile.dist is now a decent Makefile and not one of these cc *.c disasters RANLIBMAG now defaults if not otherwise defined