fixes compilation on jenkins