file name for test suite was wrong
proper handling of delimiters pragma in non CNF backends
install the runtime in the test suite