proto.dev was missing some entries and is currently used as base version for the ARM root file system.