some useful tools for Raspberry pi