don't crash if filename isn't convertible to an integer