small fixes in travis conf