fix header name in main.cpp