Port code for arcticle 07 to Linux

I split it up into two commits to make the changes visible.