Rename frontend_android.h to platform_android.h