Update haversine.sql