Make compilable on g++