More work with precision time to make it work on linux