Lib Tech and GNU to be sold.