trying another fix for compiling on jenkins