He’s just not explicitly including it, but he still uses it. You can search and find him using it in ARamaUDPSender (perform a browser search to highlight where he uses it). It would be a bit cleaner if he had included it. You can thank the build process for the confusion. 