trinity: workaround for issues with superenv