Recompile database.c when devices.h change