the breakpoints do now work on the new machine after I added -g to the
CFLAGS in the makefile. I don't quite get why it is necessary to do so on
one machine but not on the other, but I can cope with it remaining a
mystery for now. Different gdb maybe.