$ cat hello.c
#include <stdio.h>

int main(void)
{
  printf("Hello World !");
}
$ gcc -Os hello.c -o hello
$ du -b hello
7007    hello

Donc mon hello world ne fait "que" 7 ko environ. On est quand même loin des 250 ko

[edit] : cross. Mais toi tu utilises le C++ aussi... Je vais voir ce que ça donne aussi.