1st, how can I download and install the rotary encoder libs on my SD card? 1 step after the other they must be available system-wide from either working directory