fix printing of labels on 64 bit