static const char *srcdir = "@ISL_SOURCE_DIR@";