Another temporary binary workaround