sync CHANGES
add Lwt/Mirage build rules back