Is there anyway to get at the filename for the source file associated with the currently selected frame from python? It'd assist with pretty printing boost backtraces a lot.