Temporary hackish work-around to bug thirdside/berlin-ai#4