more tweaking the makefile
more tweaking the makefile

mockingbirdnest/Principia,eggrobin/Principia,mockingbirdnest/Principia,pleroy/Principia,mockingbirdnest/Principia,eggrobin/Principia,pleroy/Principia,eggrobin/Principia,pleroy/Principia,mockingbirdnest/Principia,pleroy/Principia