PyInteractiveConsole: Fix filename regex