ubuntu box has puppet preinstalled; no need to install it