Latest hooc made compilable in Linux