add hack needed for 14.04 libreadline