Workaround for weird jenkins compiler bug