fix a bug of TongJi
use invisible marks for SongCi
remove a useless included file