Guard against hassel-c not being compiled