Fix warnings for ariesve!