Remove the dev-pkg directory at uninstall, avoiding warning on next command
Atm we re-download anyway (really need to cache upstream files), so this seems harmless