little fix in deploy scripts