libpolys -> libsingular in libsingular-config.in