73 flexible

Fix #73: loaders and tools are set in the applauncher.