Fix build failure

Also make sure I won't forget this again by running 'make check' before
uploading.