It's easy to forget to run configure after a pull and it's not obvious if you need to. We should add a make rule that checks if spec.gmk is older than the files in common/autoconf and fail with a helpful error message.