diff --git a/examples/Makefile.in b/examples/Makefile.in
index f742124bad12b0e3561a4899babbe5db99d9cfc4..cce21672a81f9fb0cae206dfc8cd323eb5efe975 100644
--- a/examples/Makefile.in
+++ b/examples/Makefile.in
@@ -11,7 +11,7 @@ PRE_CPPFLAGS = -I.. -I$(top_srcdir)
 PRE_LDFLAGS = -L..
 
 OPENSSL_LIBFLAGS = @OPENSSL_LIBFLAGS@
-TARGETS = nettle-benchmark @RSA_EXAMPLES@
+TARGETS = nettle-benchmark$(EXEEXT) @RSA_EXAMPLES@
 SOURCES = nettle-benchmark.c nettle-openssl.c \
 	io.c getopt.c getopt1.c \
 	rsa-encrypt.c rsa-decrypt.c rsa-keygen.c rsa-sign.c rsa-verify.c