Solve problem with defs.h