Update run.sh

better yet, let's just assume portia is installed under './portia' folder