small fixes, hopefully fixed the build