I guess this was supposed to be a header include, but if it works without it, we should just remove it
merged
mentioned in commit 769922be
