They have updated the official plugin anyway, and I believe this fixes it too: https://wordpress.org/plugins/w3-total-cache/