correcting the coin-osi package name in travis