--- rpl/configure.ac	2014/06/24 08:42:13	1.97
+++ rpl/configure.ac	2014/06/24 09:13:53	1.98
@@ -451,7 +451,11 @@ if test ! -d "$srcdir"/tools/$NCURSES; t
 			do echo Applying script $i && chmod 775 $i && ./$i;
 			done;
 			for i in ../$NCURSES*.patch.gz;
-			do echo Applying patch $i && gunzip -c $i | patch -p1;
+			do echo Applying patch $i && \
+					if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \
+						rm -f Ada95/src/library.gpr; \
+					fi && \
+				gunzip -c $i | patch -p1;
 			done);
 fi
 if test ! -d "$srcdir"/tools/$READLINE; then