Fixes some other bugs, reset some of the SimpleSAMLphp directories.