fix syntax error in configure shell script

strangly enough, it seems to work like it was in some circumstances...