One more g++ oops fixed, and "which make" added