Hole-drilling machines