if  module_installed  mono;  then
  rm    -f  $BOOST_LOCK
  lin  -c -r mono
fi
    
