Switch back to using official simplesamlphp repo