ENSIME update and some minor customization