fix web2py deploy script