More fixes for Tigerbrew.