GoAT.h/.cc, new naming convention