Oops, forgot to include config.h