Hack around broken boost-chrono naming.