run.sh: fix build too