Use the right variant of free()