flex/bison/gcp-storage
https://github.com/diffblue/cbmc/blob/master/appveyor.yml