clobber GCC_FOR_TARGET; this should solve the specs issue / UNTESTED