Use the varkon script to launch varkon from the build directory