implement workaround against unbox optimizer bug (todo test regarding the bug has been added to master at 8f1b845)