bad header in ellint_1 + incorrect includes