A few modifications in order to load code into fsi