[v0.4 -> v0.5] Catalin(ux) M. BOIE (3): Use gettimeofday instead of clock_gettime because CentOS 6 Small fixes to the build system to correctly parse the compiler flag Bump version to v0.5