Note that 0.3.1 is outdated; latest upstream version is 0.4.4 and this issue is fixed in upstream since 0.4.0 (which was released more than 6 months ago :-D). This may be useful if you want to install the latest Git version easily: http://forum.minetest.net/viewtopic.php?id=3837