Work-arounds for Big Switch CI setup