Fixes #7: use the correct script source