Update platform.c