-#!/usr/bin/perl
+#!/usr/bin/env perl
# Copyright (c) 2005, 2007, 2010, 2014. The SimGrid Team.
# All rights reserved.
$col_blink = "\033[05m";
# Customize colors here...
-#
$col_default = $col_ltgray;
my (@coltab) = (
$col_green, $col_yellow,
my %pid;
# Get options
-#
while (($_ = $ARGV[0]) =~ /^-/) {
shift;
if (/-location/i) {