fix for proper build with recent version of wkcmake.