Add docker alias for debian