Version 4.0.1 release

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