diff --git a/rpminstall_sh.txt b/rpminstall_sh.txt
index 5694f250b5d..bb7bb3fc10c 100644
--- a/rpminstall_sh.txt
+++ b/rpminstall_sh.txt
@@ -7,6 +7,7 @@
 # Need to overwrite the install-part of the RPM to append the
 # compression-suffix onto the filenames for the man-pages.
 #
+python -c "import compileall, os; compileall.compile_dir(os.path.join(os.environ['PWD'], 'doc'), force=True)"
 python -O -c "import compileall, os; compileall.compile_dir(os.path.join(os.environ['PWD'], 'doc'), force=True)"
 python setup.py install --optimize 1 --root=$RPM_BUILD_ROOT --record=INSTALLED_FILES