Missing header for abs()