Docs stub for Unbuntu, restore executable flag on binaries.