Fix build for Jenkins on Linux