fix dev apps

We killed the old ones during #2239.