hack configure to make it work