fixes for IE11

This makes Lively kernel look nice in IE11.