0.3.15: hack for 0.12.3 set xsbt.skip.cp.lookup=true