Added --prefix-symbols <prefix> option to rename all symbols by adding the