fix includes in user programs