Arreglado un problema con la serialización de libinteractive