replace /etc/services with a slightly smaller one