Making linux-compilable