Compilation fixes to aisManager class