Make sure the default theme is precompiled.