Redefine types.h