Use -prof packages on the Travis build bot.