tools: don't use __attribute__