Add missing include for devices.h