remove coin usage due to segfault issues, see https://bugs.debian.org/cgi-bin/pkgreport.cgi?repeatmerged=yes&src=coin3