Fix build on Linux that I just broke