diff --git a/VERSION b/VERSION
index c5c8f3d9cdd18eb3748ee93d1997ef2f646554a6..c02075a2e20b44c368acd22ac9fe99d5e38f05a6 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-VERSION=00.18
+VERSION=00.19
diff --git a/db12.init b/db12.init
index d7ce36f51901c1ace99c78725f389fb0160a83c9..14147d68b4cb5007ca9c1235dca8afda772f4bfb 100755
--- a/db12.init
+++ b/db12.init
@@ -41,7 +41,7 @@ start() {
         fi
         
         # Try to use full CPU speed for benchmarking
-        modprobe acpi-cpufreq
+        modprobe --quiet acpi-cpufreq
         for i in /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor ; do echo performance > $i ; done
 
         # Get the total benchmark for this machine, assuming $total_cpu jobslots