Disable checking of duplicate globalStore arg (for now)
Update header.wppl