Fix configure to also work on Linux after changes for Windows