set Linux system time implemented