Update devs.h