Simple PHP script to tinker with the time on a Linux machine