Problems with /usr/bin/env on Ubuntu.