Bugfix #1824194 Simplesamlphp