do not print default (empty) ARDUINO_PLATFORM_LIB_PATH value for arduino 1.0.x