remove spurious include of isl/config.h