Use full path to the (local) .cmx