Android: deduplicate stuff.
Android: add GCC's libstdc++ to include directories.