bash: arguments parsing