another #include issue