fix incorrect wsplice include file