Attempting an explicit include to make everyone happy