Travis: Don't need to install sem - just use directly