Updated mqt-external