Use gcc format for vint output
Use gcc format for vint output

esran/ale,prashcr/ale,IngoHeimbach/ale,hernot/ale,hernot/ale,BuffaloCoder/ale,w0rp/ale,hernot/ale,neersighted/ale,doits/ale,IngoHeimbach/ale,w0rp/ale,breed808/ale,neersighted/ale,BuffaloCoder/ale,IngoHeimbach/ale,breed808/ale,w0rp/ale,breed808/ale,neersighted/ale,adriaanzon/ale