In this way, with default configuration options, running
make install twice in a row succeeds. Fixes issue 567.

Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Thomas Thrainer <thomasth@google.com>