GJK-enabling mods