Reverted problem file name format change

Attempted to print something a mixture of bolded and non-bolded text
that is also coloured becomes too confusing (even when suppressing the
reset code).