faketime-wrapper script and int's installer