Temp fix for ticket form (WT 3.0.1)

/**
 * Fixes an issue with WooCommerce Tickets 3.0.1 where a
 * "failed to open stream: No such file or directory" error
 * shows in place of the ticket form.
 *
 * Please remove once a definitive fix is issued in a future
 * version of WooCommerce Tickets.
 */
add_filter('tribe_events_tickets_template_wootickets/tickets.php', 'wootickets_temp_tpl_fix');

function wootickets_temp_tpl_fix($path) {
    if (false !== strpos($path, 'wootickets/views/wootickets') and !file_exists($path))
        return str_replace('views/wootickets', 'views', $path);
    return $path;
}