adapt everything to new monad and mark down copy_fib completion