# Stop server and try a "MITM" with a bad certificate.
 echo
 kill $pid_server || echo 'failed to kill gnutls-serv'
+sleep 3 # necessary on some systems like OpenBSD
 server_background --x509certfile "$srcdir/server-bad.pem" \
                   --x509keyfile "$srcdir/server-key.pem"
 wait_for_ports 4712
 
 # Stop server and try a "MITM" with a bad certificate.
 echo
 kill $pid_server || echo 'failed to kill gnutls-serv'
+sleep 3 # necessary on some systems like OpenBSD
 server_background --x509certfile "$srcdir/server-bad.pem" \
                   --x509keyfile "$srcdir/server-key.pem"
 wait_for_ports 4712