Improve port number randomization (by taking into account $PID)