setup instructions for Ubuntu (12.04) users