added filename conversion to swank:format-source