OTHER_PUBLIC_HEADERS = bootstrap.h netname.h
OTHER_OFILES = bootstrapUser.o netnameUser.o
PUBLIC_HEADER_DIR_SUFFIX = /servers