NEW-MACHINE: debugging under Ubuntu 14.04