Forgotten in fd84d89ba : fix building without spinlocks