Restore compatibility with desktop CorsixTH