Hydraulic rock drills