Changes for Travis-CI