Fixed issue with selection buffer on Linux, due to time.clock() being not precise enough on Linux. The solution is to replace it by timeit.default_timer().