fixing package name in devsetup