diff --git a/configure.in b/configure.in
index 078d1801cf9d8c64854457ae870fba6280c09cc6..97acf325ae55d0091ce65e026722fc8248656b3d 100644
--- a/configure.in
+++ b/configure.in
@@ -418,11 +418,6 @@ dnl ** check for installed lx binary
 #
 AC_PATH_PROG(LxCmd,lx)
 
-#
-dnl ** check for installed green-card binary
-#
-AC_PATH_PROG(GreencardCmd,green-card)
-
 #### program checking section ends here ####
 
 ####--------------------------------------------------
diff --git a/mk/config.mk.in b/mk/config.mk.in
index 8e39638470e545b6b9c67c3b6d68f512fb03a383..a698741e9bd6bd5cf4e644f1b02d96c2e4e7df74 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -642,7 +642,7 @@ RUNTEST			= $(RUNTEST_PREFIX)runstdtest
 HAPPY			= @HappyCmd@
 HAPPY_VERSION		= @HappyVersion@		
 LX			= @LxCmd@
-GREENCARD		= @GreencardCmd@
+GREENCARD	        = $(FPTOOLS_TOP)/green-card/src/green-card
 
 #
 # Stuff from fptools/literate