Revert "fixed linux-compilation"

This reverts commit 697f04884525b642845f385a7a003973ecea35da.