Remove unnecessary directive from travis config