Some changes to get EVERTims built on Linux #1

Closed mgeier closed 7 years ago