test ../../twelf-regression/ts-lf/sources.cfg