missing vcos_platform_types.h