No matches were found for subject:"Bug#620011\: marked as done \(Core file location changed and \/usr\/bin\/sbcl doesn't follow...\)"