Revert part of e94f5a918e where I made a stupid error removing an include file