Added execution permission necessary to make make work under Linux.