fix premake file for build options