diff --git a/.cvsignore b/.cvsignore
index 9ac470f..007c0ea 100644
--- a/.cvsignore
+++ b/.cvsignore
@@ -14,3 +14,4 @@ checkpolicy-1.23.1.tgz
 checkpolicy-1.23.2.tgz
 checkpolicy-1.23.3.tgz
 checkpolicy-1.23.4.tgz
+checkpolicy-1.25.2.tgz
diff --git a/checkpolicy.spec b/checkpolicy.spec
index 88d4601..dfba119 100644
--- a/checkpolicy.spec
+++ b/checkpolicy.spec
@@ -1,4 +1,4 @@
-%define libsepolver 1.5.9-2
+%define libsepolver 1.7-1
 Summary: SELinux policy compiler
 Name: checkpolicy
 Version: 1.25.2
@@ -34,7 +34,7 @@ make LIBDIR="%{_libdir}" CFLAGS="%{optflags}"
 %install
 rm -rf ${RPM_BUILD_ROOT}
 mkdir -p ${RPM_BUILD_ROOT}%{_bindir}
-make DESTDIR="${RPM_BUILD_ROOT}" install
+make LIBDIR="%{_libdir}" DESTDIR="${RPM_BUILD_ROOT}" install
 
 %clean
 rm -rf ${RPM_BUILD_ROOT}
@@ -42,6 +42,7 @@ rm -rf ${RPM_BUILD_ROOT}
 %files
 %defattr(-,root,root)
 %{_bindir}/checkpolicy
+%{_bindir}/checkmodule
 %{_mandir}/man8/checkpolicy.8.gz
 
 %changelog
diff --git a/sources b/sources
index b647ef6..c728aa5 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-86aac06f5c164793bd5fbac6dc256fd6  checkpolicy-1.23.4.tgz
+8706f700c02a74653993eeab593e2983  checkpolicy-1.25.2.tgz