Patches for mOS release 0.4 (see http://mos.kaist.edu/guide/release/04_release_note.html#mos-release-0-4-october-21-2017 for more details)

- Release 0.3 (first commit)