fix rpm 64 bits shell launcher
Merge origin/master