Changed default rdtsc implementation to clang's __builtin_readcyclecounter. Thanks to @visitect for the suggestion.