Added definition of Coords.h in CoordsDef.h