fixed an issue which didn't let it compile on linux