changed to work on MacOS with a Ports tree;