debug files now located in /tmp
disable verify tests (would require adding z3 dependency)