Added special extension for debugging files.