Replaced os.system('mkdir ' +.....) with os.mkdir().
This corresponds to the mkdir_patch file attached to https://gna.org/task/?6847 by
Michael Bieri (https://gna.org/users/michaelbieri), in the zip file 100121_patches.tar.gz
(https://gna.org/support/download.php?file_id=7726).
