fix for really old web2py versions