getopt.h explicitly included by specrunner.cpp