A few minor changes to the code that deals with /var/run/ram_booster