get rid of redundant lines in compat.h