Use SE as debian repository