OS X makefile tweaks, QDIMACS output documentation