Bindgen takes a long time to compile, and we only ever need to update bindings for new ctrulib releases anyway.