Make size of posix_clocks configurable