The Arduino core files, used for compilation (LINUX)