Travis CI fix (Linux also fails at binutils doc. generation like Win.)