Modify src/configure in a non-stupid way.