#1146 modifications just to avoid to merge changes in develop travis config