Commit db0e6d717c5b7e48db88db3a275f101327f5ed8b (8a68587eb12c9913f2a1af8bda7cf8c8c0b37953) broke compilation on linux.