use fsharpi instead of fsi on non-windows OS