I've just removed them.  `tools/linux/ar-combine.sh` suffices to convert thin libraries into standalone ones.