Core commit 9808385fd97d465959275fe007acce3c9b11e29d [1] renamed publicly installed includes that we use.
[1] automata-library@9808385f