hello_boost: works on Linux