Added missing mario agent source file.