also compiles on Linux 3.8