Fix debuggability in FSI