Build fixes

No, but it's more logical to publish it anyway, isn't it?