Fix a build break due to a change in libui