Eanble setting of Linux user name from launch options