isl_input.c: directly include required header