Just a few fixes on the configure and make