Fixing entry point file name
Fixing entry point file name

This file name was changed in e2ecbd5ade32afb9998292f5c23d21bb4aae44d0,
and this should have been updated in that commit.

jstrait/jssynth,jstrait/jssynth