If we download `watermelonwithme` in CocosBuilder, `CocosPlayer` will not work since the chipmunk module hasn't been registered. Right?