Some device.c files weren't synchronised.