Fix distcheck with --enable-optimize