The procedure described here actually works. I only had to edit sign_target_files_apks to change the display property (that was added in 4.2 or 4.1) so the version is correctly identified as a release version.

I am writing this because I searched the net for a solution - even after I found the web page above, as I didn't trust it - and didn't find sufficient proof to support the procedure.