fixing sejits-experimental.h