/gnu/store/nrg6r750imx5maci0zjbaqylm19ahw9m-systemc-2.3.3.drv