gitignore
debian: always run configure even if config.status already exists