fix compilation problems seen in #12