Fix bug that made it impossible to start a non-devtools box