Tweaking build for Travis