The clock on my laptop runs a bit fast (no matter what OS I'm running on it, but it's been straight debian-style knoppix for a while now). Can someone point out a simple enough way to correct the time from a remote time server or similar?