adding extra flags for istanbul