Basename property in ctf_file