solvedx-arugal not found