Better error message if IP_MTU symbol not present