diff -r 000000000000 -r 50cbed80af1a lib/linux-x86_64/libdevTimestampWorkaround.a
Binary file lib/linux-x86_64/libdevTimestampWorkaround.a has changed