Workaround for weird Jenkins compiler bug