FIXME for bug in carrybk .bashrc