PDP10, PDP11, VAX: Fix buffer leak while generating NAK messages