Correction to Customizing Build Server instructions