diff --git a/share/trick/makefiles/config_user.mk.in b/share/trick/makefiles/config_user.mk.in
index 657f05f2..3d53abac 100644
--- a/share/trick/makefiles/config_user.mk.in
+++ b/share/trick/makefiles/config_user.mk.in
@@ -20,8 +20,9 @@ USE_X_WINDOWS = @USE_X_WINDOWS@
 LLVM_HOME = @LLVM_HOME@
 
 PYTHON_INCLUDES = @PYTHON_CPPFLAGS@
-PYTHON_LIB = @PYTHON_LIBS@ @PYTHON_EXTRA_LDFLAGS@
-# @PYTHON_EXTRA_LIBS@
+PYTHON_LIB = @PYTHON_LIBS@ @PYTHON_EXTRA_LIBS@
+# @PYTHON_EXTRA_LDFLAGS@
+
 PTHREAD_CFLAGS = @PTHREAD_CFLAGS@
 PTHREAD_LIBS = @PTHREAD_LIBS@