slhGit/Picat not found