fixups for new stable web2py version (all users are encouraged to upgrade web2py!)