Fix synchws build