Fix #28: bug with code builder and built-in Arduino libraries