* hopefully fixed compilation on build server