debugs filename extension