Ah the problem lies in a piece of code not printed here, with a fork() action.
Sorry to bother you.