Fix wrong path in BONSAI headers