Yet another fix for setup script, dammit