Revert "make it work under linux"

This reverts commit 1e41ef0971932bd2421e178c8731455bf265c35c.