Robochef was missing from dev-lib