gnupro/gcc/config/picochip
