Add missing config.pxi.in (whoops)