diff -ur gnome-color-manager-3.1.2.orig/tools/Makefile.am gnome-color-manager-3.1.2/tools/Makefile.am --- gnome-color-manager-3.1.2.orig/tools/Makefile.am 2011-05-26 11:44:24.000000000 +0200 +++ gnome-color-manager-3.1.2/tools/Makefile.am 2011-06-16 13:24:46.160221608 +0200 @@ -28,10 +28,10 @@ gcm-dump-profile.c gcm_dump_profile_LDADD = \ + $(top_builddir)/src/libgcmshared.a \ $(GLIB_LIBS) \ $(COLORD_LIBS) \ $(LCMS_LIBS) \ - $(top_builddir)/src/libgcmshared.a \ -lm gcm_dump_profile_CFLAGS = \