get rid of src/common.h