Fix the handling of unconfigured argumentless launch
Add a procedure for building binary releases