Fixed to work in Linux GCC