Allow different repository folder names

This commit fixes the execution of the `start` script from a repository whose folder name is different from `usermanual`.