[[quartus_on_64bit_linux]]