Temporarily use customized Istanbul repository.