snippet to allow WordPress to find the default themes