Hack to workaround bug in latest galaxy preventing it from booting up properly.

More about bug here: https://trello.com/c/nKxmP6Vc.