added option for OS X
bugfix of configure on OS X