command make raspberry pi server edition.