Travis CI: strip Raspberry-Pi sysroot.