Fixes #100.
The file with the addresses is in the repo, so people don't have to
regenerate it, but the build system is able to do it.