Try to fix Jenkins errors with eigen