Might want to add this comment above the `-DSDL=OFF`