handle gcc inability to properly check if const char* is passed to
printf
drop the txt extension from the TODO file