Some libcxx-related makefile tweaks