Added note about restarting terminal after shark file update