More styling nonsense; fallback for missing high performance timer which probably we don't need to use anyway.