Fixing issues with GateIn installation