Trying things without gcc47 - will revert if I can't make gcc42 work
for everything (with debugging) - fear not!