7.2.1のバグを修正＆masterがコンパイル通るようになった．