Troubles with library management in Arduino-IDE 1.8.4