make gdb compile again; ok to commit in branch jcv