OSX `date` does not support milliseconds output, so @derekstavis created this `C` code to generate the time with milliseconds.