SPI not working with MBED (was: Performance of XIAO with Sharp Memory Display)

I saw this (at times, not always) when compiling:

Seeeduino/hardware/mbed/2.9.0/libraries/Spi_Flash: no headers files (.h) found in...