Removing currently useless `proto`