Use full path to the .cmx (fix).