Compiling Extensions.Configuration to WPA, mkII.