Delete mali_platform.c~