fixed: building with dune > 2.3

- symbols were deprecated in 2.3 and removed in master
- a header changed location in what will become 3.0

@blattms your code i believe (nothing controversial but just in case..)