Install pthread c raspberry pi