the dev-launcher now works again for the quick demo

merged with karel1980/master