Merges <https://github.com/armedbear/abcl/pull/76>. See <https://github.com/armedbear/abcl/pull/76/commits/f97f6e91431d689cbb7df4f095833e99a15536f6> .