Update softex-debian