fix bug with plating sounds in a Safari browser, test under IE10, add theme menu to the distribution package