Add missing sudo for 'pip install' commands in DEVELOPERS