Fix travic-ci config