colors() was causing SSH session to crash on a Ubuntu box, so now we set colors manually