fix setup for linux x86