diff --git a/src/tools/testcoordinator/postpush.pl b/src/tools/testcoordinator/postpush.pl
index 3eb07825..079f9e56 100644
--- a/src/tools/testcoordinator/postpush.pl
+++ b/src/tools/testcoordinator/postpush.pl
@@ -31,4 +31,4 @@ flock(LOG, 2)                    or die "Could not lock postpush.log";
 printf LOG strftime("%Y/%m/%d %H.%M.%S", localtime), " Repository $repo, branch $branch, name $name.\n";
 close(LOG);
 
-system "ssh root@oberon perl vishap/voc/src/tools/testcoordinator/buildall.pl >/tmp/buildall.log &";
+system 'ssh root@oberon perl vishap/voc/src/tools/testcoordinator/buildall.pl >/tmp/buildall.log &';