暫く放置する積もりだったが、メモリリークの報告が来たので修正してリリースした。(但し、使用上重大な問題ではない) あ、今気がついた。valgrindでチェックしてメモリリークを見付けたと報告されていたのだが、valgrindは使ったことがないので本当に直った…