android_devel_platform_interface library