base_ctf4 general cleanup.

Flaginfo already defined in base_ctf.