Fixed header file for Travis