I actually tested it on Ubuntu 12.04 as well but I suspect I may have upgraded Verilator to the version from Trusty at some point.  I will downgrade and fix it.