Correct filename is printed on uncaughtException