s|^\(DEBUG_DEFAULT\)=.*|\1="false"|
s|^\(DEFAULT_DBHOST\)=.*|\1="localhost"|
s|^\(RT_BASE_DIR_DEFAULT\)=.*|\1="/usr/local/matita"|
s|^\(DISTRIBUTED\)=.*|\1="yes"|