enable pdftex extensions with \usepackage{microtype}