Be more lenient about the history filename.