Attempt to fix travis CI interface issue