file extension disambiguation