Builds for fixes

Build started on 2014-05-04 on wani10 (amd64+qemu) and finished on 2014-05-04 taking 1 minute — see the log

Build started on 2014-05-04 on gold (virtual-lpia) and finished on 2014-05-04 taking 2 minutes — see the log

Build started on 2014-05-03 on charichuelo (virtual-64) and finished on 2014-05-03 taking 2 minutes — see the log

Build started on 2014-04-29 on wani02 (amd64+qemu) and finished on 2014-04-29 taking 2 minutes — see the log