Putting the shibboleth config file into tukey-portal