ExternalBox2D: use CMAKE_COMMAND to execute patch