fixed compilation of wsf_extension