make atmtcp only run if needed and make it silent when timing out