make 4.2 themes compatible with 4.3