Allow HOL Light to work with FSI ver 2 or 11.

Signed-off-by: Eric Taucher <Researcher0x00@gmail.com>