Tannakian properties of unit Frobenius-modules