Use "times" package instead of bitmap fonts