Configuring eduroam on Ubuntu Desktop 17.10