Don't crash if file was whacked previously. Fix #28.