Setting up Viper - binary management and analysis framework