a quick fix when the checking of syntax tools version fails.