test ../../twelf-regression/princeton-pcc-20070723/sources.cfg