Hi Ruben and Steffen, you still have all those binaries /usr/bin/icebox*. Don't you think that this might collide with the icebox package, which provides /usr/bin/icebox? Wouldn't it be possible to renane all those ice* to something like fpga_ice* as well? Thorsten