Fix #26: set trace-buffer-size works now in simple mode!