I think we can rename it now. I see no reason to keep "gideon". -- Alexander Dymo Ukrainian State Maritime Technical University, IT Department