terminal prefs and phpbrew v0.1