debian: always run configure