Fixed two cases where malloc was used instead of __crystal_malloc