PROBCORE-294 Updated load command to recognize .eventb files