vcos_platform_types.h was missing