my setup seems to require it (did not investigate further, and this
will be void if we switch to nginx+uwsgi)