extra sundials header location

This is a tiny fix for deff617b217446e62159fc25e113a17f935bb98e.
That needed header isn't in debian so we use the version in external_packages