We don't use it anymore, and on some systems it's apparently not an integer.
Fixes #592 (closed) (at least partially).