Made addrspace_create() more portable