"correct" way deciding file extension