Changing $PROFILE to $profileVal parameter, using arg function, to avoid conflict with other ciBDD.sh arguments