Work-around for different Julia version in Travis