Made compilable for Linux