a little cleanup C++ run-time library makefiles