Compiling Extensions.Configuration to WPA.