some preparations for tagging v0.5
(#439)