According to the game page, the game size is around 19 gb. After the mojo setup on linux a script starts that writes up to 12 or more additional gigabytes on the disk. Is this intended? and if yes, how much free disk space is needed to install it on linux? (31 gb was not enough)