Clean up properly after libstdc++ build