disable devel themed for now