bug fixing: user1 could not run program when user2 changed the code