Escape pointer to prevent list inside source
adjusted imprint path
Update on the idris java backend