Fix test/cases directory. Some are skipped because buggy...