Fix AutoTest.h path in main.cc