this file belonged to automake