ICC prosecutor hopes for Gaddafi arrest