fix bad include filename