Modification of make.sh slightly for use in cross-compilation