HLTE: Update mpdecision and libqc-opt