- Remove the LAUNCHER option because current GCC generates not working binary for vlaunch - Modernize OPTIONS