keep only headers in dominos.h