animation: use GdkFrameClock when available.