fix web2py deploy recipe