https://github.com/hermitcore/libhermit-rs/pull/387 has been merged incorrectly in https://github.com/hermitcore/libhermit-rs/pull/387/commits/6c2d63e6a55e6323a6eec4ff40dabe6c4a6495a6.