Removing boost mirror from configuration script