* src/testall.sh: all test cases include