Rename WSmarty.class to WSmarty.class.php