Travis-CI modifications.