ignoring the libraries directive added by the Arduino GUI