de-`proc` so we work on master