../libscipreferences.la