Fixes g++ compilation