use pathnames.h to specify full pathnames