Since name of the output/target binaries that get built by the makefile as per the build process described on the wiki page remain same irrespective of the options set on th
