Unhappy Travis, missing header