debug file extension stuff