Makefile:  make this "work", fully!   More .pml(s) ...