Fix file sharing broken in 08541473c9