dev-git-usr/HAL-Editor not found