These both use platform-9 API, rather than platform-4 as the x86 and MIPS toolchains were only added in platform-9. Changed directory name for third party libraries to reflect the platform system libraries compiled against.