Hello, I downloaded "Taucs" from the CGAL site, but it seems that installation is not clean. Can someone tell what I must do ? Thanks. csv csv610@blackhole:~/Downloads/taucs_full$ export OSTYPE=linux csv610@blackhole:~/Downloads/taucs_full$ ./configure ./configure: 61: [[: not found cc -o configurator/configurator configurator/taucs_config.c rm -rf lib/linux/* rm -rf obj/linux/* rm -rf bin/linux/* rm -rf lib/linux/*.* rm -rf obj/linux/*.* rm -rf bin/linux/*.* rm -rf build/linux/taucs_config_tests.h rmdir obj/linux/ rmdir: failed to remove `obj/linux/': No such file or directory make: [clean] Error 1 (ignored) rmdir bin/linux/ rmdir: failed to remove `bin/linux/': No such file or directory make: [clean] Error 1 (ignored) rmdir lib/linux/ rmdir: failed to remove `lib/linux/': No such file or directory make: [clean] Error 1 (ignored) csv610@blackhole:~/Downloads/taucs_full$