One thing I noticed when I was doing my various changes... linux/sound.h depends on src/server.h. It shouldn't - not sure if you want to go fixing this here, though. (It means moving the high resolution timer from src/server.* to src/util.* - was a simple cut-n-paste.)

Originally posted by @pljones in #2575 (comment)