Bump up version 0.8.0.1. New RTS for tiny memory.