Fix paths in gitblit launch script