Use a different timeserver for the signing tool